Microkernel Development for Embedded Systems
نویسندگان
چکیده
منابع مشابه
CAmkES: A component model for secure microkernel-based embedded systems
Component-based software engineering promises to provide structure and reusability to embeddedsystems software. At the same time, microkernel-based operating systems are being used to increase the reliability and trustworthiness of embedded systems. Since the microkernel approach to designing systems is partially based on the componentisation of system services, component-based software enginee...
متن کاملEMERALDS: a microkernel for embedded real-time systems
|EMERALDS (Extensible Microkernel for Embedded, ReAL-time, Distributed Systems) is a real-time microkernel designed for cost-conscious, small to medium size embedded systems. It not only ooers standard OS services like multi-threaded processes, real-time scheduling, protected address spaces, message-passing, semaphores, and timers, but does so in an eecient manner while keeping the kernel size ...
متن کاملAndri Toggenburger Modular Network Router for Microkernel - Based Embedded Systems
Embedded systems are now ubiquitous and can be found in an abundance of application areas ranging from mobile phones to cars. To increase the reliability and thrustworthiness of these increasingly complex embedded systems, microkernel-based operating systems and componentbased software engineering techniques are being used. CAmkES, a project of NICTA’s ERTOS research program, has recently devel...
متن کاملSecure Microkernel Operating Systems
This paper reviews the concepts and mechanisms used to improve security in general purpose operating systems. The evolution from makrokernels to microkernels is illustrated, showing different approaches to achieve not only (more) secure but also practical platforms for legacy software applications. The ultimate method of proving correctness by formal verification is revisited. A real-world mikr...
متن کاملA Memory Allocation Model For An Embedded Microkernel
High-end embedded systems featuring millions of lines of code, with varying degrees of assurance, are becoming commonplace. These devices are typically expected to meet diverse application requirements within tight resource budgets. Their growing complexity makes it increasingly difficult to ensure that they are secure and robust. One approach is to provide strong guarantees of isolation betwee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2013
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2013.61003